Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
61	GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-02-19 09:48:16 Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics
62	BRICS RSBRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 06:09:18 Process calculi Theoretical computer science Universal composability Calculus Process calculus
63	Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2006-08-08 04:44:28 Π-calculus Process calculus Mathematics Congruence Calculus Type system Actor model and process calculi Mobile Membranes Process calculi Applied mathematics Computer science
64	Microsoft PowerPoint - Algebra Unifies Operational Calculi Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 04:35:20 Applied mathematics Lambda calculus Process calculi Computer science Theoretical computer science Process calculus Mathematics
65	PDF Document Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:41 Differential geometry Process calculi Π-calculus Proof theory Entailment Natural deduction Curry–Howard correspondence Logic Deduction Theoretical computer science
66	Electronic Notes in Theoretical Computer Science 66 NoURL: http://www.elsevier.nl/locate/entcs/volume66.html 31 pages Information Flow Security in Boxed Ambients Silvia Crafa1 Michele Bugliesi 1 Dipartimento d Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:58:08 Process calculi Ambient calculus Models of computation Deduction Theoretical computer science Propositional calculus Entailment Process calculus Valuation Logic Abstract algebra Mathematics
67	Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:26:43 Mathematics Computer science Ambient calculus Π-calculus Bisimulation Lambda calculus Mobile Membranes Theoretical computer science Process calculi Applied mathematics
68	Secure Implementations of Typed Channel Abstractions (Extended Abstract) Michele Bugliesi Marco Giunti Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-01-23 08:18:42 Applied mathematics Process calculi Π-calculus Lambda calculus Valuation Function Curry–Howard correspondence Holomorphic functional calculus Mathematics Theoretical computer science Abstract algebra
69	Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1 Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:46 Macroeconomics M2 Money supply Kapu CONFER Calculus of communicating systems Proceedings Economics Indian society Process calculi
70	A Compositional Approach to Active and Passive Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.manchester.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-31 07:51:28 Software architecture Electronics Communicating sequential processes Process calculi Electrical components Passivity Wright Component-based software engineering JCSP Computing Software engineering Concurrent computing

UPDATE